#include "task_ex.h"


__asm __inline uint32 enter_critical_zone(void){
    MRS     R0, PRIMASK  	
    CPSID   I				
    BX      LR			    
}
__asm __inline void exit_critical_zone(uint32 temp){
    MSR     PRIMASK, R0	   
    BX      LR				
}

_task_end task_end=(_task_end)0xfebca987;
_start_os start_os=(_start_os)0xfebca987;
_open_scheduling open_scheduling=(_open_scheduling)0xfebca987;
//_enter_critical_zone enter_critical_zone=(_enter_critical_zone)0xfebca987;
//_exit_critical_zone exit_critical_zone=(_exit_critical_zone)0xfebca987;

_os_create_base_manual os_create_base_manual=(_os_create_base_manual)0xfebca987;
_os_create_base os_create_base=(_os_create_base)0xfebca987;
_os_create_task os_create_task=(_os_create_task)0xfebca987;
_os_init os_init=(_os_init)0xfebca987;
_os_start os_start=(_os_start)0xfebca987;
_os_task_delay os_task_delay=(_os_task_delay)0xfebca987;
_os_task_del os_task_del=(_os_task_del)0xfebca987;
_os_systick_count os_systick_count=(_os_systick_count)0xfebca987;
